Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Registro Completo
Biblioteca(s):  Embrapa Agricultura Digital.
Data corrente:  10/08/1993
Data da última atualização:  21/12/2010
Autoria:  HIGA, R. H.
Afiliação:  ROBERTO HIROSHI HIGA, CNPTIA.
Título:  Introdução a especificação formal de módulos de software por traços.
Ano de publicação:  1993
Fonte/Imprenta:  Campinas: EMBRAPA-CNPTIA, 1993.
Páginas:  16 p.
Idioma:  Português
Conteúdo:  Apresentação informal da especificação por traços. Apresentação formal da especificação por traços. Executando especificações formais utilizando traços em Prolog.
Palavras-Chave:  Engenharia de software; Especificação formal; Especificação por traços; Especifição de software; Software; Specification of software.
Categoria do assunto:  X Pesquisa, Tecnologia e Engenharia
Marc:  Mostrar Marc Completo
Registro original:  Embrapa Agricultura Digital (CNPTIA)
Biblioteca ID Origem Tipo/Formato Classificação Cutter Registro Volume Status URL
CNPTIA1695 - 1UMTNC - PP1993.00032
Voltar






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 208
Primeira ... 123456789 ... Última
1.Imagem marcado/desmarcadoHIGA, R. H. Convert2RGWAS. Versão 1.0. Campinas: Embrapa Informática Agropecuária, 2010. 1 CD-ROM.
Tipo: Software
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoHIGA, R. H. Um estudo preliminar dos requisitos para construção de um software DRIS. Campinas: Embrapa Informática Agropecuária, 2000. 15 p. (Embrapa Informática Agropecuária. Documentos, 1).
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoHIGA, R. H. Uso do Prolog para executar especificações formais por traços. Campinas: EMBRAPA-CNPTIA, 1997. 19 p. (EMBRAPA-CNPTIA. Relatório Técnico, 1).
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
4.Imagem marcado/desmarcadoHIGA, R. H. Upload/GenBank/Chado. Versão 1.0. Campinas: Embrapa Informática Agropecuária, 2010. 1 CD-ROM.
Tipo: Software
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
5.Imagem marcado/desmarcadoHIGA, R. H. Tutorial: introdução ao software brblup. Campinas: Embrapa Informática Agropecuária, 2020. 41 p. il. (Embrapa Informática Agropecuária. Documentos, 168).
Tipo: Documentos
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
6.Imagem marcado/desmarcadoHIGA, R. H. snpQC. versão 1.0. Campinas: Embrapa Informática Agropecuária, 2011. 1 CD-ROM.
Tipo: Software
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
7.Imagem marcado/desmarcadoHIGA, R. H. snpQC. Versão 2.0. Campinas: Embrapa Informática Agropecuária, 2012. 1 CD-ROM.
Tipo: Software
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
8.Imagem marcado/desmarcadoHIGA, R. H. Solvat. Versão 1.0. Campinas: Embrapa Informática Agropecuária, 2010. 1 CD-ROM.
Tipo: Software
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
9.Imagem marcado/desmarcadoHIGA, R. H. Introdução a especificação formal de módulos de software por traços. Campinas: EMBRAPA-CNPTIA, 1993. 16 p.
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
10.Imagem marcado/desmarcadoHIGA, R. H. MicroarrayCluster. Versão 1.0. Campinas: Embrapa Informática Agropecuária, 2010. 1 CD-ROM.
Tipo: Software
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
11.Imagem marcado/desmarcadoHIGA, R. H. Entendendo e interpretando os parâmetros utilizados por BLAST. Campinas: Embrapa Informática Agropecuária, 2001. 12 p. (Embrapa Informática Agropecuária. Instruções técnicas, 6).
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
12.Imagem marcado/desmarcadoHIGA, R. H. Especificação formal por traços, composição de componentes e protótipos de ferramentas. Campinas: EMBRAPA-CNPTIA, 1993. 90 p.
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
13.Imagem marcado/desmarcadoHIGA, R. H. Predição de regiões de interface proteína-proteína baseada em informações estruturais. 2009. 134 p. Tese (Doutorado em Engenharia Elétrica. Área de concentração Engenharia de Computação) - Faculdade de Engenharia Elétrica e de Computação, Universidade Estadual de Campinas, Campinas.
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
14.Imagem marcado/desmarcadoPIETROBON, T.; HIGA, R. H. Disponibilização de análise de controle de qualidade em GWAS e seleção de SNPs para exclusão de paternidade na plataforma Galaxy. In: MOSTRA DE ESTAGIÁRIOS E BOLSISTAS DA EMBRAPA INFORMÁTICA AGROPECUÁRIA, 9., 2013, Campinas. Resumos... Brasília, DF: Embrapa, 2013. p. 23-24.
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
15.Imagem marcado/desmarcadoGUERREIRO, A. T.; HIGA, R. H. Análise de associação genômica ampla baseada em conjunto de genes: implementação em R. In: MOSTRA DE ESTAGIÁRIOS E BOLSISTAS DA EMBRAPA INFORMÁTICA AGROPECUÁRIA, 10., 2014, Campinas. Resumos... Brasília, DF: Embrapa, 2014. p. 101-104.
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
16.Imagem marcado/desmarcadoOLIVEIRA, G. B. de; HIGA, R. H. Armazenamento de dados de genotipagem e fenotipagem para estudos de genética animal. In: CONGRESSO INTERINSTITUCIONAL DE INICIAÇÃO CIENTÍFICA, 9., 2015, Campinas. Anais... Campinas: IAC, 2015. 1 CD-ROM. CIIC 2015. Nº 15603.
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
17.Imagem marcado/desmarcadoHIGA, R. H.; OLIVEIRA, G. B. de. AnotaSNP: software para organização de informações de anotação de genes em estudos de associação genômica ampla. Campinas: Embrapa Informática Agropecuária, 2014. 28 p. (Embrapa Informática Agropecuária. Documentos, 129).
Tipo: Documentos
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
18.Imagem marcado/desmarcadoSOARES, A. R.; HIGA, R. H. Avaliação de ferramentas para detecção de interações epistáticas para fenótipos quantitativos em estudos de associação genômica ampla. In: MOSTRA DE ESTAGIÁRIOS E BOLSISTAS DA EMBRAPA INFORMÁTICA AGROPECUÁRIA, 10., 2014, Campinas. Resumos... Brasília, DF: Embrapa, 2014. p. 105-107.
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
19.Imagem marcado/desmarcadoGIACHETTO, P. F.; HIGA, R. H. Bioinformática aplicada à agricultura. In: MASSRUHÁ, S. M. F. S.; LEITE, M. A. de A.; LUCHIARI JUNIOR, A.; ROMANI, L. A. S. (Ed.). Tecnologias da informação e comunicação e suas relações com a agricultura. Brasília, DF: Embrapa, 2014. Cap. 4. p. 67-83.
Tipo: Capítulo em Livro Técnico-Científico
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
20.Imagem marcado/desmarcadoGIACHETTO, P. F.; HIGA, R. H. Bioinformatics applied to agriculture. In: MASSRUHÁ, S. M. F. S.; LEITE, M. A. de A.; LUCHIARI JUNIOR, A.; ROMANI, L. A. S. (Ed.). Information and communication technologies and their relations with agriculture. Brasília, DF: Embrapa, 2016. ch. 4, p. 67-86.
Tipo: Capítulo em Livro Técnico-Científico
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 208
Primeira ... 123456789 ... Última
Nenhum registro encontrado para a expressão de busca informada.
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional